许多机器学习算法的核心是使用随机变量 (randvars) 描述隐藏在数据中的行为或结构的大型概率模型。在有效机器学习算法激增之后,有效的推理算法成为焦点,以利用学习到的模型或进一步优化机器学习算法 (LeCun 2018)。通常,模型由已知个体 (常数) 池 (即已知宇宙) 及其之间的关系形成。处理个体集可以实现易于处理的推理 (Niepert and Van den Broeck 2014)。通过与行为相同的个体代表合作并仅在必要时查看特定个体,提升可以有效地处理个体集。如果根据患病人数对可能的流行病进行建模,那么所有患病的人对流行病的行为都相同。在参数因子 (parfactors) 中,用逻辑变量 (logvars) 参数化的随机变量紧凑地表示随机变量集 (Poole 2003)。一个 parfactor 不是为每个人指定一个关于患病者如何影响流行病的因子,而是作为所有人的模板。马尔可夫逻辑网络使用一阶逻辑公式进行紧凑编码 (Richardson and Domingos 2006)。已知宇宙意味着 parfactors 或马尔可夫逻辑网络中的 logvars 具有域,并且可能具有将域限制为特定 parfactors 或公式的某些常数的约束。提升推理算法
![arXiv:2001.02021v1 [cs.AI] 2020 年 1 月 7 日PDF文件第1页](/bimg/a/a060999c3540e55cbe608b3dd5cbe206ffe068b4.webp)
![arXiv:2001.02021v1 [cs.AI] 2020 年 1 月 7 日PDF文件第2页](/bimg/f/f6118f1a48acfa71c4392ce2414df4712127fe74.webp)
![arXiv:2001.02021v1 [cs.AI] 2020 年 1 月 7 日PDF文件第3页](/bimg/1/159bc771704c8d903b455d1209338889a2e47676.webp)
![arXiv:2001.02021v1 [cs.AI] 2020 年 1 月 7 日PDF文件第4页](/bimg/5/58c35a897336fc128cf2249f906c34b4bf6a3965.webp)
![arXiv:2001.02021v1 [cs.AI] 2020 年 1 月 7 日PDF文件第5页](/bimg/c/ca0c4b4327f49313758de775a7bcd5566cdd565e.webp)
